projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1781d0) | patch
avoid broken pipe zombies
authorJoey Hess <joeyh@joeyh.name>
Thu, 31 Jul 2025 18:57:51 +0000 (14:57 -0400)
committerJoey Hess <joeyh@joeyh.name>
Thu, 31 Jul 2025 18:57:51 +0000 (14:57 -0400)
commit7e0802e951538a724b75c25b54c0464dee4829b8
treec2fea3639e55001a49e0f624058b8940faabd3f4tree | snapshot
parentf1781d01d8e0a8152fbe511738b76dca4460bf42commit | diff
avoid broken pipe zombies

hClose crashes if the pipe is broken, preventing waiting for the process
P2P/IO.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.